"Deepak Kapur" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007, Revised and Invited Papers (Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence)

Автор: Deepak Kapur

Категория: Компьютеры

Размер книги: 11.17 Mb

Computer Mathematics, 8 conf., ASCM 2007

Автор: Deepak Kapur

Категория: CsLn_

Размер книги: 6.12 Mb

Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings

Автор: Deepak Kapur

Размер книги: 7.52 Mb